Validez de un razonamiento por reducción al absurdo